1. Computability /
پدیدآورنده : George J. Tourlakis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
2. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
3. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
4. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
5. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
6. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: (طهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
7. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: (طهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68M3
8. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
9. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع : ، logic, Symbolic and mathematical -- Textbooks
رده :
QA
9
.
T68
